$\forall$$x$, $y$:$\mathbb{Z}$. ($\mid$$x$$\mid$ = $\mid$$y$$\mid$ $\in$ $\mathbb{Z}$) $\Leftarrow\!\Rightarrow$ $x$ = $\pm$ $y$